Large Minimal Realizers of a Partial Order
نویسندگان
چکیده
منابع مشابه
Large Minimal Realizers of a Partial Order
The size of a minimum realizer of a partial order is called the dimension of that partial order. Here we initiate the study of minimal realizers which are not minimum. As an aid to the study of such realizers, we associate to each minimal realizer certain critical digraphs. We characterize all such critical digraphs for the antichain on n elements, and consequently deduce that for n > 4, the ma...
متن کاملGenerating Event Logics with Higher-Order Processes as Realizers
Our topic is broadening a practical ”proofs-asprograms” method of program development to “proofs-asprocesses”. We extend our previous results that implement proofs-as-processes for the standard model of asynchronous message passing computation to a much wider class of process models including the π-calculus and other process algebras. Our first result is a general process model whose definition...
متن کاملeffect of sub-grid scales on large eddy simulation of particle deposition in a turbulent channel flow
چکیده ندارد.
15 صفحه اولInteractive Realizers and Monads
We propose a realizability interpretation of a system for quantier free arithmetic which is equivalent to the fragment of classical arithmetic without nested quantiers, called here EM1-arithmetic. We interpret classical proofs as interactive learning strategies, namely as processes going through several stages of knowledge and learning by interacting with the “environment” and with each other. ...
متن کاملEfficient Pattern Search in Large, Partial-Order Data Sets
The behaviour of a large, distributed system is inherently complex. One step towards making this behaviour more understandable to a user involves instrumenting the system and collecting data about its execution. We can model the data as traces (representing various sequential entities in the system such as single-threaded processes) that contain both events local to the trace and communication ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1977
ISSN: 0002-9939
DOI: 10.2307/2040932